Towards Reasoning Vehicles

Towards Cognitive Vehicles

The recent decades have witnessed a fast rising number of motor vehicles. As a result traffic becomes more congested and streets become more risky. Temptations of widely varied communication and entertainment applications even make drivers more over-burdened and distracted. To relieve the continually increasing stress of drivers and reduce the number of accidents, current intelligent vehicle re...

Towards Autonomous Vehicles for

Developing new Intelligent Transportation Systems which take into consideration the socio-economical, environmental , and safety factors of the modern society , is one of the grand challenges of the next century. Recent progress in the elds of Mobile Robots, Control Architectures, and Computer Vision allows us to now envisage the integration of new autonomous and driving-assistance capabilities...

Towards urban driverless vehicles

This paper addresses the problem of autonomous navigation of a car-like robot evolving in an urban environment. Such an environment exhibits an heterogeneous geometry and is cluttered with moving obstacles. Furthermore, in this context, motion safety is a critical issue. The proposed approach to the problem lies in the design of perception and planning modules that consider explicitly the dynam...

Towards Uniform Reasoning via

Towards Efficient Default Reasoning

A decision method for Reiter's default logic is developed. It can determine whether a default theory has an extension, whether a formula is in some extension of a default theory and whether a formula is in every extension of a default the­ ory. The method handles full propositional de­ fault logic. It can be implemented to work in polynomial space and by using only a theorem prover for the unde...